home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.xml;
-
- import com.extensibility.util.Debug;
-
- class FormatOptions implements Cloneable {
- int indent;
- int indentIncrement;
- boolean justElements;
- boolean forDisplay;
- String newTerm;
- String pad;
- boolean expandPERefs;
- String peRefTerminator;
- boolean allowKleene;
- boolean allowMinMax;
- boolean allowLocalName;
-
- FormatOptions(int var1, boolean var2) {
- this(var1, 4, !var2, !var2, true, !var2, !var2);
- }
-
- private FormatOptions(int var1, int var2, boolean var3, boolean var4, boolean var5, boolean var6, boolean var7) {
- this.allowKleene = true;
- this.allowMinMax = false;
- this.allowLocalName = false;
- this.indent = var1;
- this.indentIncrement = var2;
- this.justElements = var3;
- this.forDisplay = var4;
- this.allowKleene = var5;
- this.allowMinMax = var6;
- this.allowLocalName = var7;
- this.pad = var1 == 0 ? "" : (new String(" ")).substring(0, var1);
- this.newTerm = var1 == 0 ? " " : String.valueOf(System.getProperty("line.separator")).concat(String.valueOf(this.pad));
- this.peRefTerminator = var4 ? "" : ";";
- }
-
- FormatOptions(boolean var1) {
- this(0, 0, false, var1, true, var1, var1);
- }
-
- FormatOptions getOptionsForNextLevel() {
- if (this.indent == 0) {
- return this;
- } else {
- try {
- FormatOptions var1 = (FormatOptions)super.clone();
- var1.indent += this.indentIncrement;
- return var1;
- } catch (CloneNotSupportedException var3) {
- Debug.assert(false, String.valueOf("never happens: ").concat(String.valueOf(var3)));
- Object var2 = null;
- return (FormatOptions)var2;
- }
- }
- }
- }
-